Constraint satisfaction - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction
Results: 487

#	Item
31	RULE SOLVER™ Constraint Programming with OpenRules® USER MANUAL Add to Reading List Source URL: openrules.com Language: English - Date: 2014-05-18 17:14:24 Software engineering Computing Software Expert systems Rule engines Numerical software Decision support systems Mathematical modeling Constraint satisfaction Constraint programming Business rules engine AMPL
32	University of the Aegean Department of Information and Communication Systems Engineering Artificial Intelligence Laboratory Adaptive Strategies for Solving Constraint Satisfaction Problems Add to Reading List Source URL: www.icsd.aegean.gr Language: English - Date: 2013-12-07 04:41:14 Constraint programming Operations research Software engineering Constraint satisfaction problem Computer programming Local consistency Search algorithms Constraint satisfaction Mathematical optimization Backtracking
33	Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Theoretical computer science Computational complexity theory Mathematics Constraint programming NP-complete problems Boolean algebra Parameterized complexity Boolean satisfiability problem Constraint satisfaction problem Exponential time hypothesis Treewidth Tree decomposition
34	Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2 Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2012-03-15 13:21:54 Computational complexity theory Logic Complexity classes Abstraction Metalogic Predicate logic Finite model theory IP FO Quantifier PSPACE-complete Model theory
35	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
36	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
37	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-28 08:00:26 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method
38	[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. * Add to Reading List Source URL: conal.net Language: English - Date: 2006-01-18 15:03:30 Operations research Classical mechanics Constraint satisfaction Energy minimization Mathematical optimization Derivative Control theory Constraint programming Constraint Generalizations of the derivative Loop quantum gravity Constraint logic programming
39	A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:46 Constraint programming Constraint Constraint logic programming Constraint satisfaction
40	IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware Michelle Y. Wong and David Lie Department of Electrical and Computer Engineering University of Toronto Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2015-12-20 13:29:40 Smartphones Cross-platform software Object-oriented programming languages Malware Malware analysis Android Monkey X Application programming interface Concolic testing Event Java Constraint satisfaction problem

UPDATE